#console > div.php_to_js {
	display: none;
}

#console > div.console {
	position: relative;
}

	#console > div.console > div.mask1 {
		position: absolute;
		top: 1px;
		left: 1px;
		width: 568px;
		height: 10px;
		background: white;
	}

	#console > div.console > div.mask2 {
		position: absolute;
		bottom: 1px;
		left: 1px;
		width: 568px;
		height: 10px;
		background: white;
	}

	#console > div.console > div.mask3 {
		position: absolute;
		top: 1px;
		bottom: 1px;
		right: 1px;
		width: 18px;
		background: rgba(255, 255, 255, 0.5);
	}

	#console > div.console > pre {
		font-family: monospace;
		font-size: 12px;
		line-height: 16px;
		margin: 0px;
		white-space: pre;
		word-wrap: break-word;
		border: 1px dashed #ccc;
		padding: 10px;
		max-height: 352px;
		overflow-y: scroll;
		overflow-x: hidden;
	}

	#console > div.console > input {
		background: transparent;
		outline: none;
		position: absolute;
		bottom: 10px;
		left: 25px;
		width: 537px;
		display: none;
		font-family: monospace;
		font-size: 12px;
		line-height: 16px;
		border: 0px;
	}